INDALOG: A Declarative Deductive Database Language
ثبت نشده
چکیده
منابع مشابه
INDALOG: A Declarative Deductive Database Language
In this paper we present the main features of a deductive database language named INDALOG based on the integration of functional and logic paradigms. As most deductive database systems, INDALOG allows the handling of negation, higher-order functions, grouping operators, support for aggregation, handling of non-ground facts, and support for indexing structures on both extensional and intensional...
متن کاملDesign and Implementation of the Relationlog Deductive Database System
We describe the design and implementation of Relationlog, a persistent deductive database system. Unlike other related systems such as Aditi, CORAL, LDL, LOLA and Nail-Glue, Relationlog supports effective storage, efficient access and inference of large amounts of data with complex structures and provides declarative query language that can define recursive views involving complex data and also...
متن کاملDeclarative Specification and Interpretation of Rule-Based Systems
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategies, and if it allows for arbitrary function calls in rule bodies. We present a Prolog-based declarative extension of the deductive database language Datalog to more general rule-based applications.
متن کاملA Typed Deductive and Object - Oriented Database LanguageMengchi
This paper presents a novel typed deductive object-oriented database language, called ROL (Rule-based Object Language), which is being developed at the University of Regana. This language is a declarative language. It can naturally and directly support object-oriented features such as object identity, complex objects, classes, class hierarchy, multiple inheritance with overriding, and schema in...
متن کاملIntegrating Dynamic Aspects into Deductive Object-Oriented Databases
We show how the dynamics of database systems can be mod eled by making states rst class citizens in an object oriented deductive database language With states at the same time acting as objects meth ods or classes several concepts of dynamic entities can be implemented allowing an intuitive declarative modeling of the application domain Exploiting the natural strati cation induced by the state ...
متن کامل